Pieter H Hartel: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A toolkit for parallel functional programming

Pieter H. Hartel, Rutger F. H. Hofman, Koen G. Langendoen, Henk L. Muller, Willem G. Vree, L. O. Hertzberger

Journal:

Concurrency and Computation: Practice and Experience

Year:

1995

Language:

english

File:

PDF, 1.67 MB

english, 1995

2

Simple algebraic data types for C

Pieter H. Hartel, Henk L. Muller

Journal:

Software: Practice and Experience

Year:

2012

Language:

english

File:

PDF, 1.07 MB

english, 2012

3

Crime science: editorial statement

Marianne Junger, Gloria Laycock, Pieter Hartel, Jerry Ratcliffe

Journal:

Year:

2012

Language:

english

File:

PDF, 122 KB

english, 2012

4

Energy-efficient link-layer jamming attacks against wireless sensor network MAC protocols

Law, Yee Wei, Palaniswami, Marimuthu, Hoesel, Lodewijk Van, Doumen, Jeroen, Hartel, Pieter, Havinga, Paul

Journal:

ACM Transactions on Sensor Networks

Year:

2009

Language:

english

File:

PDF, 864 KB

english, 2009

5

The persuasion and security awareness experiment: reducing the success of social engineering attacks

Bullée, Jan-Willem H., Montoya, Lorena, Pieters, Wolter, Junger, Marianne, Hartel, Pieter H.

Journal:

Journal of Experimental Criminology

Year:

2015

Language:

english

File:

PDF, 1.26 MB

english, 2015

6

Book review:Crime and Everyday Lifeby Marcus Felson and Mary Eckert, 5th edition

Pieter H. Hartel,Marianne Junger

Journal:

Year:

2016

Language:

english

File:

PDF, 908 KB

english, 2016

7

[IEEE 2017 International Conference On Cyber Situational Awareness, Data Analytics And Assessment (Cyber SA) - London, United Kingdom (2017.6.19-2017.6.20)] 2017 International Conference On Cyber Situational Awareness, Data Analytics And Assessment (Cyber SA) - Towards the normalization of cybercrime victimization: A routine activities analysis of cybercrime in europe

Junger, Marianne, Montoya, Lorena, Hartel, Pieter, Heydari, Maliheh

Year:

2017

Language:

english

File:

PDF, 317 KB

english, 2017

8

Abstract machines for programming language implementation

Stephan Diehl, Pieter Hartel, Peter Sestoft

Journal:

Future Generation Computer Systems

Year:

2000

Language:

english

File:

PDF, 118 KB

english, 2000

9

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Reflections on reflections

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Year:

1997

Language:

english

File:

PDF, 1.06 MB

english, 1997

10

A Survey of Provably Secure Searchable Encryption

Bösch, Christoph, Hartel, Pieter, Jonker, Willem, Peter, Andreas

Journal:

ACM Computing Surveys

Year:

2014

Language:

english

File:

PDF, 1.02 MB

english, 2014

11

[IEEE 2013 European Intelligence and Security Informatics Conference (EISIC) - Uppsala, Sweden (2013.08.12-2013.08.14)] 2013 European Intelligence and Security Informatics Conference - How "Digital" is Traditional Crime?

Montoya, Lorena, Junger, Marianne, Hartel, Pieter

Year:

2013

Language:

english

File:

PDF, 150 KB

english, 2013

12

The influence of processing on the microbial risk associated with Rooibos ( Aspalathus linearis ) tea

Gouws, Pieter, Hartel, Toni, van Wyk, Rudean

Journal:

Journal of the Science of Food and Agriculture

Year:

2014

Language:

english

File:

PDF, 1006 KB

english, 2014

13

[ACM Press the 26th Annual Computer Security Applications Conference - Austin, Texas (2010.12.06-2010.12.10)] Proceedings of the 26th Annual Computer Security Applications Conference on - ACSAC '10 - Two methodologies for physical penetration testing using social engineering

Dimkov, Trajce, Pieters, Wolter, Hartel, Pieter

Year:

2010

Language:

english

File:

PDF, 904 KB

english, 2010

14

The Functional C experience

HARTEL, PIETER, MULLER, HENK, GLASER, HUGH

Journal:

Journal of Functional Programming

Year:

2004

Language:

english

File:

PDF, 72 KB

english, 2004

15

Spear phishing in organisations explained

Bullee, Jan-Willem, Montoya, Lorena, Junger, Marianne, Hartel, Pieter, Furnell, Steven, Furnell, Steven

Journal:

Information and Computer Security

Year:

2017

Language:

english

File:

PDF, 1.34 MB

english, 2017

16

Declarative solutions to partitioned-grid problems

Sandro Etalle, Pieter H. Hartel, Willem G. Vree

Journal:

Software: Practice and Experience

Year:

1999

Language:

english

File:

PDF, 269 KB

english, 1999

17

LETOS – a lightweight execution tool for operational semantics

Pieter H. Hartel

Journal:

Software: Practice and Experience

Year:

1999

Language:

english

File:

PDF, 256 KB

english, 1999

18

A Trace Logic for Local Security Properties

Ricardo Corin, Sandro Etalle, Pieter Hartel, Antonio Durante

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 268 KB

english, 2005

19

Nonmonotonic Trust Management for P2P Applications

Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter Hartel, Jerry den Hartog

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 348 KB

english, 2006

20

Purely functional data structures: Chris Okasaki, Cambridge University Press, 1998, ISBN 0 521 63124 6, x + 220 pages, hardback

Journal:

Science of Computer Programming

Year:

1999

Language:

english

File:

PDF, 237 KB

english, 1999

21

Using formal methods to cultivate trust in smart card operating systems

Marjan I. Alberda, Pieter H. Hartel, Eduard K. de Jong Frz

Journal:

Future Generation Computer Systems

Year:

1997

Language:

english

File:

PDF, 1.42 MB

english, 1997

22

Current directions in smart cards

Josep Domingo-Ferrer, Pieter Hartel

Journal:

Computer Networks

Year:

2001

Language:

english

File:

PDF, 52 KB

english, 2001

23

KALwEN: a new practical and interoperable key management scheme for body sensor networks

Yee Wei Law, Giorgi Moniava, Zheng Gong, Pieter Hartel, Marimuthu Palaniswami

Journal:

Security and Communication Networks

Year:

2011

Language:

english

File:

PDF, 1.36 MB

english, 2011

24

LicenseScript: a logical language for digital rights management

Cheun Ngen Chong, Ricardo Corin, Jeroen Doumen, Sandro Etalle, Pieter Hartel, Yee Wei Law, Andrew Tokmakoff

Journal:

annals of telecommunications - annales des télécommunications

Year:

2006

Language:

english

File:

PDF, 4.49 MB

english, 2006

25

Embedding renewable cryptographic keys into noisy data

Ileana Buhan, Jeroen Doumen, Pieter Hartel, Qian Tang, Raymond Veldhuis

Journal:

International Journal of Information Security

Year:

2010

Language:

english

File:

PDF, 1.18 MB

english, 2010

26

Model-based qualitative risk assessment for availability of IT infrastructures

Emmanuele Zambon, Sandro Etalle, Roel J. Wieringa, Pieter Hartel

Journal:

Software & Systems Modeling

Year:

2011

Language:

english

File:

PDF, 896 KB

english, 2011

27

Energy-Efficient Streaming Using Non-volatile Memory

Mohammed G. Khatib, Pieter H. Hartel, Hylke W. van Dijk

Journal:

Journal of Signal Processing Systems

Year:

2010

Language:

english

File:

PDF, 530 KB

english, 2010

28

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Logic implemented functionally

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Year:

1997

Language:

english

File:

PDF, 1.05 MB

english, 1997

29

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Inline expansion: When and how?

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Year:

1997

Language:

english

File:

PDF, 826 KB

english, 1997

30

Communication lifting: fixed point computation for parallelism

Vree, Willem G., Hartel, Pieter H.

Journal:

Journal of Functional Programming

Year:

1995

Language:

english

File:

PDF, 1.45 MB

english, 1995

31

Statistics on graph reduction of SASL programs

Pieter H. Hartel, Arthur H. Veen

Journal:

Software: Practice and Experience

Year:

1988

Language:

english

File:

PDF, 888 KB

english, 1988

32

Performance of lazy combinator graph reduction

Pieter H. Hartel

Journal:

Software: Practice and Experience

Year:

1991

Language:

english

File:

PDF, 1.89 MB

english, 1991

33

Compilation of functional languages using flow graph analysis

Pieter H. Hartel, Hugh Glaser, John M. Wild

Journal:

Software: Practice and Experience

Year:

1994

Language:

english

File:

PDF, 2.64 MB

english, 1994

34

Experiments with destructive updates in a lazy functional language

Pieter H. Hartel, Willem G. Vree

Journal:

Computer Languages

Year:

1994

Language:

english

File:

PDF, 1.14 MB

english, 1994

35

The analysis of modular structures with respect to their interconnect topology

Pieter H Hartel, Frank A Van Harmelen

Journal:

Interfaces in Computing

Year:

1984

Language:

english

File:

PDF, 502 KB

english, 1984

36

Conformational analysis of the dinucleotides 5′-methylphospho-N6-dimethyladenylyl-uridine (mpm62A-U) and 5′methylphospho-uridylyl-N6-dimethyladenosine (mpU-m62A) and of the trinucleotide U-m62A-U : A nuclear magnetic resonance and circular dichroic study

Yvonne T. van den HOOGEN, Peter P. LANKHORST, Pieter GIJSMAN, Arnold J. HARTEL, Jacques H. van BOOM, Cornelis ALTONA

Journal:

Year:

1988

Language:

english

File:

PDF, 980 KB

english, 1988

37

[Lecture Notes in Computer Science] Funtional Programming Languages in Education Volume 1022 || Elementary strong functional programming

Hartel, Pieter H., Plasmeijer, Rinus

Year:

1995

Language:

english

File:

PDF, 654 KB

english, 1995

38

A log mining approach for process monitoring in SCADA

Dina Hadžiosmanović, Damiano Bolzoni, Pieter H. Hartel

Journal:

International Journal of Information Security

Year:

2012

Language:

english

File:

PDF, 1.30 MB

english, 2012

39

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Narrowing the narrowing space

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Year:

1997

Language:

english

File:

PDF, 954 KB

english, 1997

40

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Functional programming and geometry

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Year:

1997

Language:

english

File:

PDF, 1.23 MB

english, 1997

41

TuLP: A Family of Lightweight Message Authentication Codes for Body Sensor Networks

Gong, Zheng, Hartel, Pieter, Nikova, Svetla, Tang, Shao-Hua, Zhu, Bo

Journal:

Journal of Computer Science and Technology

Year:

2014

Language:

english

File:

PDF, 1.03 MB

english, 2014

42

[Lecture Notes in Computer Science] Funtional Programming Languages in Education Volume 1022 || Functional programming and mathematical objects

Hartel, Pieter H., Plasmeijer, Rinus

Year:

1995

Language:

english

File:

PDF, 949 KB

english, 1995

43

[Lecture Notes in Computer Science] Funtional Programming Languages in Education Volume 1022 || Using π-RED as a teaching tool for functional programming and program execution

Hartel, Pieter H., Plasmeijer, Rinus

Year:

1995

Language:

english

File:

PDF, 1.09 MB

english, 1995

44

[Lecture Notes in Computer Science] Critical Information Infrastructures Security Volume 8328 ||

Luiijf, Eric, Hartel, Pieter

Year:

2013

Language:

english

File:

PDF, 8.18 MB

english, 2013

45

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || DrScheme: A pedagogic programming environment for scheme

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Year:

1997

Language:

english

File:

PDF, 1.91 MB

english, 1997

46

[IEEE Int'l Conference on Cyber, Physical and Social Computing (CPSCom) - Hangzhou, China (2010.12.18-2010.12.20)] 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing - Effectiveness of Physical, Social and Digital Mechanisms against Laptop Theft in Open Organizations

Dimkov, Trajce, Pieters, Wolter, Hartel, Pieter

Year:

2010

Language:

english

File:

PDF, 2.49 MB

english, 2010

47

[IEEE 2013 3rd International Workshop on Socio-Technical Aspects in Security and Trust (STAST) - New Orleans, LA, USA (2013.06.29-2013.06.29)] 2013 Third Workshop on Socio-Technical Aspects in Security and Trust - Applying the Lost-Letter Technique to Assess IT Risk Behaviour

Lastdrager, Elmer, Montoya, Lorena, Hartel, Pieter, Junger, Marianne

Year:

2013

Language:

english

File:

PDF, 271 KB

english, 2013

48

[IEEE 2011 Seventh European Conference on Computer Network Defense (EC2ND) - Gothenburg, Sweden (2011.09.6-2011.09.7)] 2011 Seventh European Conference on Computer Network Defense - MELISSA: Towards Automated Detection of Undesirable User Actions in Critical Infrastructures

Hadiosmanovic, Dina, Bolzoni, Damiano, Hartel, Pieter, Etalle, Sandro

Year:

2011

Language:

english

File:

PDF, 540 KB

english, 2011

49

[IEEE 2008 IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) - Sydney, Australia (2008.12.10-2008.12.12)] 2008 IEEE International Symposium on Parallel and Distributed Processing with Applications - A Generalized Clustering Algorithm for Dynamic Wireless Sensor Networks

Marin-Perianu, Raluca, Hurink, Johann, Hartel, Pieter

Year:

2008

Language:

english

File:

PDF, 383 KB

english, 2008

50

[IEEE 2014 Twelfth Annual Conference on Privacy, Security and Trust (PST) - Toronto, ON, Canada (2014.7.23-2014.7.24)] 2014 Twelfth Annual International Conference on Privacy, Security and Trust - Distributed Searchable Symmetric Encryption

Bosch, Christoph, Peter, Andreas, Leenders, Bram, Lim, Hoon Wei, Tang, Qiang, Wang, Huaxiong, Hartel, Pieter, Jonker, Willem

Year:

2014

Language:

english

File:

PDF, 346 KB

english, 2014